Research in Computing Science, Vol. 29, pp. 149-160, 2007.
PDF: Using Team Automata to Specify Software Architectures PDF: Using Team Automata to Specify Software Architectures